Commentary by Chris Pressey
===========================

<!--
Copyright (c) 2024 Chris Pressey, Cat's Eye Technologies.

SPDX-License-Identifier: CC-BY-ND-4.0
-->

This work is distributed under a CC-BY-ND-4.0 license, with the following explicit
exception: the ratings may be freely used for any purpose with no limitations.

Category Theory
---------------

### Categories, types, and structures

*   rating: TODO

.

### Category Theory for Programmers

*   rating: 1

.

### Category Theory \| Logic Matters

*   rating: 1

.

### computational trinitarianism in nLab

*   rating: 1

.

### ct.category theory - Is every category a localization of a poset? - MathOverflow

*   rating: 1

From what I can see, the answer is "yes".  So does this mean we can call it
Localized Poset Theory instead?  Hmm...